<?php 
echo floatval(23)/5
?>